Towards the Global Optimization of Functional Logic Programs
نویسنده
چکیده
Functional logic languages amalgamate functional and logic programming paradigms. They can be eeciently implemented by extending techniques known from logic programming. In this paper we show how global information about the call modes of functions can be used to optimize the compilation of functional logic programs. Since mode information has been successfully used to improve the implementation of pure logic programs and these techniques can be applied to implementations of functional logic programs as well, we concentrate on optimizations which are unique to the operational semantics of functional logic programs. We deene a suitable notion of modes for functional logic programs and present compile-time techniques to optimize the normalization process during the execution of functional logic programs.
منابع مشابه
Designing a Meta-Heuristic Algorithm Based on a Simple Seeking Logic
Nowadays, in majority of academic contexts, it has been tried to consider the highest possible level of similarities to the real world. Hence, most of the problems have complicated structures. Traditional methods for solving almost all of the mathematical and optimization problems are inefficient. As a result, meta-heuristic algorithms have been employed increasingly during recent years. In thi...
متن کاملOptimization of Quantum Cellular Automata Circuits by Genetic Algorithm
Quantum cellular automata (QCA) enables performing arithmetic and logic operations at the molecular scale. This nanotechnology promises high device density, low power consumption and high computational power. Unlike the CMOS technology where the ON and OFF states of the transistors represent binary information, in QCA, data is represented by the charge configuration. The primary and basic devic...
متن کاملContinuous Energy Values of 3-Amino-4-Nitraminofurazan Molecule by Modern Optimization Techniques
The conformational energy values of 3-amino-4-nitraminofurazan (C2N4O3H2) molecule changing with two torsion angles were firstly calculated using density functional theory (DFT) with Lee-Young-Parr correlation functional and 6-31 G(d) basis set on Gaussian Program. And then, these obtained discrete data were made continuous by using Fuzzy Logic Modelling (FLM) and Artificial Neural Network (ANN...
متن کاملAdaptive particularly tunable fuzzy particle swarm optimization algorithm
Particle Swarm Optimization (PSO) is a metaheuristic optimization algorithm that owes much of its allure to its simplicity and its high effectiveness in solving sophisticated optimization problems. However, since the performance of the standard PSO is prone to being trapped in local extrema, abundant variants of PSO have been proposed by far. For instance, Fuzzy Adaptive PSO (FAPSO) algorithms ...
متن کاملSpecialization of Functional Logic Programswith Dynamic Scheduling ?
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays to functional logic programs. We show how to lift the nondeterministic choices from run time to specialization time. We ascertain the conditions under which the original and the transformed program have the same answ...
متن کامل